Properties in WF1